Events and Time in a Finite and Closed World
نویسنده
چکیده
There are numerous occasions on which we need to reason about a finite number of events. And we often need to consider only those events which are given or which we perceive. These give rise to the Criteria of Finiteness and Closedness. Allen’s logic provides a way of reasoning about events. In this paper I examine Allen and Hayes’ axiomatisation of this logic, and develop two other axiomatisations based on the work by Russell and Thomason. I shall show that these three axiomatisations are weakly equivalent, and that only the last two meet the Criteria of Finiteness and Closedness (to different degrees). I shall then examine two ways of constructing instants of time in a finite and closed world, i.e. the Russell construction and the Thomason construction. I shall prove that these two constructions are equivalent under certain conditions.
منابع مشابه
Optimal Finite-time Control of Positive Linear Discrete-time Systems
This paper considers solving optimization problem for linear discrete time systems such that closed-loop discrete-time system is positive (i.e., all of its state variables have non-negative values) and also finite-time stable. For this purpose, by considering a quadratic cost function, an optimal controller is designed such that in addition to minimizing the cost function, the positivity proper...
متن کاملDesigning Robust Finite-Time Nonlinear Torques for a n-DOF Robot Manipulator with Uncertainties, Sector and Dead-Zone Input Nonlinearities
In this paper, a complete dynamical model is presented for an uncertain -DOF robot manipulator containing description of sector and dead-zone input nonlinearities. Next, robust finite-time tracking problem of desired trajectories is declared and formulated for the aforementioned robot manipulator. By defining innovative nonlinear sliding manifolds and developing the nonsingular terminal sliding...
متن کاملThe Generation of Earthquake PGA Using Stochastic Finite Fault Method in Alborz Region
Time-history analysis is defined as a kind of dynamic analysis increasingly used in design of structures and evaluation of existing ones. One of the important issues in the Time-history analysis is selecting earthquake records. In this case, seismic design provisions states that time histories shall have similar source mechanisms, geological and seismological features with region under study. A...
متن کاملClosed-form solution for peak crushing force of the S-rails
One of the most important structural components of engine compartment assembly in a car body is the Srail. S-rails has significant role in absorbing energy during crash events and therefore it is designed for efficient behavior in such conditions. Driving the peak crushing force of the S-rails is one of the important objectives in the design process of such structures. Peak crushing force is ex...
متن کاملSystematic Approach to Design a Finite Time Convergent Differentiator in Second Order Sliding Mode Controller
This paper presents a systematic approach to design a Lyapunov based super twisting differentiator. The differentiator will be shown convergent in a finite time whilst the relevant time is accurately estimated. This differentiator is the main part to establish the sliding surface in higher order sliding mode. The differentiator is used in the prescribed control structure to regulate pressure...
متن کاملA Closed-Form Solution for Two-Dimensional Diffusion Equation Using Crank-Nicolson Finite Difference Method
In this paper a finite difference method for solving 2-dimensional diffusion equation is presented. The method employs Crank-Nicolson scheme to improve finite difference formulation and its convergence and stability. The obtained solution will be a recursive formula in each step of which a system of linear equations should be solved. Given the specific form of obtained matrices, rather than sol...
متن کامل